sym($T$;$E$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Sym($T$;$x$,$y$.$E$($x$,$y$))